max max [ Y , max $integral dY$ $partialdiff sub X$ ( WORLDBATH bath ) ]